c programming integer division